Instance Verification Kit (IVK)
mutex lock @ [536+31+/linux-3.19-rc1/drivers/tty/tty_mutex.c]
Instance Signature: legacy_mutex
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__tty_hangup
[17538+12+/linux-3.19-rc1/drivers/tty/tty_io.c]
block_til_ready
[87560+15+/linux-3.19-rc1/drivers/tty/synclinkmp.c]
block_til_ready
[88408+15+/linux-3.19-rc1/drivers/tty/synclink_gt.c]
block_til_ready
[95204+15+/linux-3.19-rc1/drivers/tty/synclink.c]
cy_open
[39891+7+/linux-3.19-rc1/drivers/tty/cyclades.c]
mgsl_open
[98558+9+/linux-3.19-rc1/drivers/tty/synclink.c]
mgslpc_open
[63902+11+/linux-3.19-rc1/drivers/char/pcmcia/synclink_cs.c]
open
[20179+4+/linux-3.19-rc1/drivers/tty/synclink_gt.c]
open
[21526+4+/linux-3.19-rc1/drivers/tty/synclinkmp.c]
ptmx_open
[18614+9+/linux-3.19-rc1/drivers/tty/pty.c]
r3964_read
[26714+10+/linux-3.19-rc1/drivers/tty/n_r3964.c]
r3964_write
[27964+11+/linux-3.19-rc1/drivers/tty/n_r3964.c]
tiocsctty
[61158+9+/linux-3.19-rc1/drivers/tty/tty_io.c]
tty_fasync
[56536+10+/linux-3.19-rc1/drivers/tty/tty_io.c]
tty_init_dev
[37968+12+/linux-3.19-rc1/drivers/tty/tty_io.c]
tty_lock
[392+8+/linux-3.19-rc1/drivers/tty/tty_mutex.c]
tty_lock_slave
[838+14+/linux-3.19-rc1/drivers/tty/tty_mutex.c]
tty_open
[52262+8+/linux-3.19-rc1/drivers/tty/tty_io.c]
tty_open_current_tty
[49656+20+/linux-3.19-rc1/drivers/tty/tty_io.c]
tty_port_block_til_ready
[9458+24+/linux-3.19-rc1/drivers/tty/tty_port.c]
tty_release
[44814+11+/linux-3.19-rc1/drivers/tty/tty_io.c]
tty_set_ldisc
[12215+13+/linux-3.19-rc1/drivers/tty/tty_ldisc.c]
tty_unlock
[612+10+/linux-3.19-rc1/drivers/tty/tty_mutex.c]
tty_unlock_slave
[1096+16+/linux-3.19-rc1/drivers/tty/tty_mutex.c]
tty_wait_until_sent_from_close
[23171+30+/linux-3.19-rc1/include/linux/tty.h]
tty_write_message
[30243+17+/linux-3.19-rc1/drivers/tty/tty_io.c]